how many b-17s were made